System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
41	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
42	A Type System for Format Strings Konstantin Weitz Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-07-30 08:20:45 Computing C standard library Printf format string Printf Format Computer programming %s Getopt Module:OutputBuffer/doc
43	� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:09:30 Software engineering Computer programming Computing Data types Lisp Functional languages Object-oriented programming languages Geographic information system Object-oriented programming Cons Frame language Cellular automaton
44	SG24VisualAge for Smalltalk Handbook Volume 2: Features September 1997 Add to Reading List Source URL: www.redbooks.ibm.com Language: English - Date: 2016-05-11 13:58:06 Software Computing Relational database management systems IBM software IBM DB2 Computer programming Open Database Connectivity IBM VisualAge Smalltalk IBM System i Microsoft Access Microsoft Jet Database Engine
45	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
46	Nix Package Manager Guide i Nix Package Manager Guide Add to Reading List Source URL: nixos.org Language: English - Date: 2016-02-11 04:12:58 Software System software Computer architecture NixOS Functional programming Nix package manager Nix Package manager Deb
47	On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computer programming Computing Object-oriented programming languages Object-oriented programming Data types Type theory Programming paradigms Smalltalk Type system Objective-C R
48	TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computer programming Computing Source code Type theory Holism Subroutine University of Cambridge Computer Laboratory Macro Constant Variable HindleyMilner type system
49	Personal Web API Recommendation Using Network-based Inference Svetlana Omelkova1 and Peep Küngas1 1 University of Tartu, Estonia , Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:52:29 Computing Information science Information retrieval World Wide Web Software architecture Social information processing Web services Application programming interface Technical communication Recommender system Mashup Web API
50	How To Replace MPI As The Scalable Programming System For Computational Science William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Concurrent computing Computing Parallel computing MPICH Beowulf cluster Parallel Virtual Machine MPI Standard Performance Evaluation Corporation Message Passing Interface Open MPI